Formal linguistic theories

Constraints , Linguistic Theories

Linguistic Typology and Formal Grammar

The goal of this chapter is to provide an overview of the relationship between linguistic typology and formal grammar—a relationship that has existed for several decades now and is unlikely to disappear any time soon. As the reader will see, the two orientations differ in a number of respects, but they share the custody of language, and that motivates the need for communication between the two....

Formal Aspects of Linguistic Modelling

These notes cover the first part of an introductory course on computational linguistics, also known as MPRI 2-27-1: Logical and computational structures for linguistic modelling. The course is subdivided into two parts: the first, which is the topic of these notes, covers grammars, automata, and logics for syntax modelling, while the second part focuses on logical approaches to semantics. Among...

Comparing Formal Cognitive Emotion Theories

We discuss an approach for evaluating cognitive emotion theories that explicitly relies on the use of formal logics of agency. This approach offers various benefits, which range from the fact that a formal logical approach is able to provide an explicit account of the inferential machinery used by an agent to elicit emotions to the fact that logical specifications provide a precise model of wha...

Formal Theories for Logspace Counting

We introduce two-sorted theories in the style of Cook and Nguyen for the complexity classes ParityL and DET, whose complete problems include determinants over GF(2) and Z, respectively. The definable functions in these theories are the functions in the corresponding complexity classes; thus each theory formalizes reasoning using concepts from its corresponding complexity class.